<?hh
using ($xxxxxxxxxxxxxxxxxxxxxx = new Handle(),$yyyyyyyyyyyyyyyyyy = new Handle()) {}
